|
週次 |
日期 |
單元主題 |
|
第1週 |
2/18 |
00. Class Intro
01. Intro to Design Verification |
|
第2週 |
2/25 |
01. Intro to Design Verification
02. Formal Modeling and Property Spec |
|
第3週 |
3/04 |
03. Introduction to BDD |
|
第4週 |
3/11 |
04. Advanced BDD Techniques |
|
第5週 |
3/18 |
04. Advanced BDD Techniques
05. BDD-Based Verification |
|
第6週 |
3/25 |
05. BDD-Based Verification
06. Introduction to SAT |
|
第7週 |
4/01 |
06. Introduction to SAT |
|
第8週 |
4/08 |
07. Advanced SAT Techniques |
|
第9週 |
4/15 |
07. Advanced SAT Techniques
08. Bounded Model Checking |
|
第10週 |
4/22 |
09. Unbounded Model Checking |
|
第11週 |
4/29 |
10. Property Directed Reachability |
|
第12週 |
5/06 |
10. Property Directed Reachability
11. SAT-Assisted Synthesis |
|
第13週 |
5/13 |
11. SAT-Assisted Synthesis |
|
第14週 |
5/20 |
12. From SAT to Optimization |
|
第15週 |
5/27 |
13-1 Liveness Property Checking
13-2 Satisfiability Modulo Theories |
|
第16週 |
6/03 |
端午節 / Final Exam |
|
第17週 |
6/10 |
Final Week (No class) |
|
第18週 |
6/17 |
Final Project Due (06/13) |